Bonsangue, Marcello M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

CONCEPTS FOR MODELING ENTERPRISE ARCHITECTURES

JONKERS, HENK, LANKHORST, MARC, VAN BUUREN, RENÉ, HOPPENBROUWERS, STIJN, BONSANGUE, MARCELLO, VAN DER TORRE, LEENDERT

Journal:

International Journal of Cooperative Information Systems

Year:

2004

Language:

english

File:

PDF, 914 KB

english, 2004

2

[Lecture Notes in Computer Science] It's All About Coordination Volume 10865 ||

de Boer, Frank, Bonsangue, Marcello, Rutten, Jan

Year:

2018

Language:

english

File:

PDF, 8.34 MB

english, 2018

3

Algebra-coalgebra duality in brzozowski's minimization algorithm

Bonchi, Filippo, Bonsangue, Marcello M., Hansen, Helle H., Panangaden, Prakash, Rutten, Jan J. M. M., Silva, Alexandra

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 584 KB

english, 2014

4

[IEEE 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2019.9.4-2019.9.7)] 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - On the Nature of Symbolic Execution

de Boer, Frank S., Bonsangue, Marcello M.

Year:

2019

File:

PDF, 55 KB

2019

5

Structural congruence for bialgebraic semantics

Rot, Jurriaan, Bonsangue, Marcello

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 575 KB

english, 2016

6

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Interleaving Symbolic Execution and Partial Evaluation

Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 340 KB

english, 2010

7

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4111 || Model-Based Security Engineering with UML: Introducing Security Aspects

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2006

Language:

english

File:

PDF, 606 KB

english, 2006

8

Java Test Driver Generation from Object-Oriented Interaction Traces

Frank S. de Boer, Marcello B. Bonsangue, Andreas Grüner, Martin Steffen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

9

[Lecture Notes in Computer Science] It's All About Coordination Volume 10865 || Discovering the “Glue” Connecting Activities

de Boer, Frank, Bonsangue, Marcello, Rutten, Jan

Year:

2018

Language:

english

File:

PDF, 558 KB

english, 2018

10

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 4468 ||

Bonsangue, Marcello M., Johnsen, Einar Broch

Year:

2007

Language:

english

File:

PDF, 6.52 MB

english, 2007

11

Infinite intersection types

Marcello M. Bonsangue, Joost N. Kok

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 391 KB

english, 2003

12

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2007

Language:

english

File:

PDF, 5.46 MB

english, 2007

13

Proving language inclusion and equivalence by coinduction

Rot, Jurriaan, Bonsangue, Marcello, Rutten, Jan

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 457 KB

english, 2016

14

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints

Beckert, Bernhard, Damiani, Ferruccio, de Boer, Frank S., Bonsangue, Marcello M.

Year:

2013

Language:

english

File:

PDF, 389 KB

english, 2013

15

[Lecture Notes in Computer Science] It's All About Coordination Volume 10865 || Argumentation as Exogenous Coordination

de Boer, Frank, Bonsangue, Marcello, Rutten, Jan

Year:

2018

Language:

english

File:

PDF, 295 KB

english, 2018

16

Preface

Marcello Bonsangue, Einar Broch Johnsen, Amy Murphy, Jan Vitek

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 145 KB

english, 2009

17

A Channel-based Coordination Model for Components

Juan Guillen-Scholten, Farhad Arbab, Frank de Boer, Marcello Bonsangue

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 182 KB

english, 2003

18

Duality beyond sober spaces: Topological spaces and observation frames

Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.98 MB

english, 1995

19

Comparing coordination models and architectures using embeddings

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 281 KB

english, 2003

20

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || Towards a Model- and Learning-Based Framework for Security Anomaly Detection

Beckert, Bernhard, Damiani, Ferruccio, de Boer, Frank S., Bonsangue, Marcello M.

Year:

2013

Language:

english

File:

PDF, 568 KB

english, 2013

21

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Pi-Calculus in Logical Form

Bonsangue, Marcello, Kurz, Alexander

Year:

2007

Language:

english

File:

PDF, 289 KB

english, 2007

22

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Live and Let Die: LSC-Based Verification of UML-Models

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 523 KB

english, 2003

23

Rational Operational Models

Milius, Stefan, Bonsangue, Marcello M., Myers, Robert S.R., Rot, Jurriaan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 360 KB

english, 2013

24

[ACM Press the 2000 ACM symposium - Como, Italy (2000..-..)] Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 - A coordination language for mobile components

Arbab, Farhad, Bonsangue, Marcello M., de Boer, Frank S.

Year:

2000

Language:

english

File:

PDF, 771 KB

english, 2000

25

Büchi automata for modeling component connectors

Mohammad Izadi, Marcello Bonsangue, Dave Clarke

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 893 KB

english, 2011

26

Sound and Complete Axiomatizations of Coalgebraic Language Equivalence

Bonsangue, Marcello M., Milius, Stefan, Silva, Alexandra

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 384 KB

english, 2013

27

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 467 KB

english, 2004

28

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 ||

de Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 5.60 MB

english, 2010

29

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 || Links: Web Programming Without Tiers

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2007

Language:

english

File:

PDF, 857 KB

english, 2007

30

Enhanced coalgebraic bisimulation

ROT, JURRIAAN, BONCHI, FILIPPO, BONSANGUE, MARCELLO, POUS, DAMIEN, RUTTEN, JAN, SILVA, ALEXANDRA

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

31

[Lecture Notes in Computer Science] It's All About Coordination Volume 10865 || From Soft Agents to Soft Component Automata and Back

de Boer, Frank, Bonsangue, Marcello, Rutten, Jan

Year:

2018

Language:

english

File:

PDF, 411 KB

english, 2018

32

Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)

Bonsangue, Marcello, Deng, Yuxin

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 137 KB

english, 2018

33

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Testing Real-Time Systems under Uncertainty

Aichernig, Bernhard K., de Boer, Frank S., Bonsangue, Marcello M.

Year:

2012

Language:

english

File:

PDF, 423 KB

english, 2012

34

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Consistency Management within Model-Based Object-Oriented Development of Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 453 KB

english, 2004

35

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 435 KB

english, 2003

36

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || From Co-algebraic Specifications to Implementation: The Mihda Toolkit

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 429 KB

english, 2003

37

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Automated Verification of Executable UML Models

Aichernig, Bernhard K., Boer, Frank S., Bonsangue, Marcello M.

Year:

2012

Language:

english

File:

PDF, 545 KB

english, 2012

38

A coalgebraic perspective on linear weighted automata

Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten, Alexandra Silva

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 472 KB

english, 2012

39

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 4.67 MB

english, 2003

40

[Lecture Notes in Computer Science] It's All About Coordination Volume 10865 || Self-stabilization Through the Lens of Game Theory

de Boer, Frank, Bonsangue, Marcello, Rutten, Jan

Year:

2018

Language:

english

File:

PDF, 286 KB

english, 2018

41

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Concurrent Object-Oriented Programs: From Specification to Code

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

File:

PDF, 310 KB

2003

42

Quantitative Kleene coalgebras

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1.00 MB

english, 2011

43

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Finding Implicit Contracts in .NET Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 498 KB

english, 2003

44

The weakest precondition calculus: Recursion and duality

Marcello M. Bonsangue, Joost N. Kok

Journal:

Formal Aspects of Computing

Year:

1994

Language:

english

File:

PDF, 794 KB

english, 1994

45

Final Semantics for Decorated Traces

Bonchi, Filippo, Bonsangue, Marcello, Caltais, Georgiana, Rutten, Jan, Silva, Alexandra

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

46

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Java Program Verification Challenges

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 217 KB

english, 2003

47

Model Checking Longitudinal Control in Vehicle Platoon Systems

Peng, Cong, Bonsangue, Marcello M., Xu, Zhongwei

Journal:

Year:

2019

Language:

english

File:

PDF, 1.07 MB

english, 2019

48

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets

Juan Guillen-Scholten, Farhad Arbab, Frank de Boer, Marcello Bonsangue

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 317 KB

english, 2006

49

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Property-Based Testing - The ProTest Project

de Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 206 KB

english, 2010

50

[ACM Press the 1998 ACM symposium - Atlanta, Georgia, United States (1998.02.27-1998.03.01)] Proceedings of the 1998 ACM symposium on Applied Computing - SAC '98 - A software architecture for distributed control systems and its transition system semantics

Bonsangue, Marcello M., Kok, Joost N., Boasson, Maarten, de Jong, Edwin

Year:

1998

Language:

english

File:

PDF, 1.11 MB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски